Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master : Yves Bertot, “Proofs and reliable programming using Coq”, 21hours ETD, Sept-Nov 2019, Université Nice Côte d'Azur, France.

• Doctorat : Benjamin Grégoire, “EasyCrypt and Jasmin”, 14 ETD, summer school on Formal Techniques, Menlo College, California, USA, 18–25 May 2019.

• Doctorat : Benjamin Grégoire, “Formal verification of masked implementations” Summer school on security of software/Hardware interfaces, 3 ETD, 8–12 July 2019, Inria, France.

• Doctorat : Yves Bertot “Coq introductory course”, EUTypes summer school, 6 ETD, Ohrid, Aug. 30–Sep. 4, 2019, North Macedonia.

Supervision

• PhD: Damien Rouhling, Formalization Tools for Classical Analysis – A Case Study in Control Theory, Université Côte d'Azur, September 2019, supervised by Yves Bertot and Cyril Cohen [1].

• Yves Bertot and Laurence Rideau supervise the doctoral thesis of Sophie Bernard.

• Yves Bertot and Benjamin Grégoire supervise the doctoral thesis of Cécile Baritel-Ruet.

• Benjamin Grégoire and Tamara Rezk (Indes) supervise the doctoral thesis of Mohamad El Laz.

Juries

Yves Bertot was a member of the Jury for the Habilitation to direct research of Guillaume Melquiond.

Laurent Théry was a member of the thesis committee for David Braun (University of Strasbourg).

Laurent Théry was an external reviewer for a PhD at ANU (Australia, anonymity rules apply).

Enrico Tassi was a member of the Jury for the PhD defense of Ulysse Gérard (Inria Saclay).

Yves Bertot was a member of the Jury with report duties for the thesis of Florian Faissole (University of Paris-Saclay).

Yves Bertot was a member of the Jury with report duties for the thesis of Armaël Guéneau (University of Paris Diderot).

Yves Bertot was a member of the Jury for the thesis of Gaëtan Gilbert (Institut Mines Télécom Atlantique, Nantes).